241. Cellular automata and discrete complex systems :
Author: Alonso Castillo-Ramirez, Pedro P.B. de Oliveira (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cellular automata, Congresses.,Computer science-- Mathematics, Congresses.,Cellular automata.,Computer science-- Mathematics.
Classification :
QA267
.
5
.
C45
242. Cellular automata and discrete complex systems :
Author: Jarkko Kari, Martin Kutrib, Andreas Malcher (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cellular automata, Congresses,Computer science-- Mathematics, Congresses,Software
Classification :
QA267
.
5
.
C45
243. Certified Programs and Proofs :
Author: edited by Chris Hawblitzel, Dale Miller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
Classification :
QA76
.
9
.
M35
E358
2012
244. Certified programs and proofs :
Author: Jean-Pierre Jouannaud, Zhong Shao (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
C37
2011eb
245. Classification Theory of Algebraic Varieties and Compact Complex Spaces
Author: by K. Ueno.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science, general.,Computer science.,Mathematics.
Classification :
QA3
.
B958
1975
246. Coalgebraic methods in computer science :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;
247. Coalgebraic methods in computer science
Author: Dirk Pattinson, Lutz Schröder (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses,Computer software-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
W67
2012eb
248. Coalgebraic methods in computer science :
Author: Corina Cîrstea (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA76
.
9
.
M35
249. Coding the matrix :
Author: Philip N. Klein.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Álgebra lineal.,Algebras, Linear.,Computer science -- Mathematics.
Classification :
QA184
.
2
P455
9999
250. Collegium Logicum.
Author: Kurt Gödel Society.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Mathematics.
251. Combinatorial Algorithms
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mathematics. ; Data structures (Computer science). ; Application software. ; Computer communication systems. ; Computer graphics. ; Algorithms. ; Discrete Mathematics in Computer Science. ; -Computer science
252. Combinatorial Optimization II
Author: edited by V.J. Rayward-Smith.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Mathematical optimization.,Mathematics.
Classification :
QA264
.
A1
E358
1980
253. Combinatorial Optimization and Applications
Author: \ [edited by] Zaixin Lu...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Combinatorial optimization -- Congresses.,Computer science -- Mathematics -- Congresses.,بهینهسازی ترکیبی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگرهها
Classification :
QA
164
.
C6
2015
E-Book
,
254. Combinatorial and Additive Number Theory III
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mathematics. ; Computer mathematics. ; Combinatorics. ; -Combinatorics. ; Number theory. ; Computer science
255. Combinatorial maps :
Author: Guillaume Damiand, Pascal Lienhardt
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial designs and configurations,Computer graphics-- Mathematics,Data structures (Compter science),Image processing-- Mathematics
Classification :
QA76
.
9
.
D35
D35
2014
256. Combinatorial optimization and applications
Author: Guohui Lin (ed.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial optimization, Congresses,Computer science-- Mathematics, Congresses
Classification :
QA402
.
5
.
C63
2012eb
257. Combinatorial optimization and applications :
Author: Donghyun Kim, R.N. Uma, Alexander Zelikovsky (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial optimization-- Data processing, Congresses.,Computer science-- Mathematics, Congresses.,Mathematical optimization, Congresses.,Computational complexity.,Computer network architectures.,Computer science.,Computer software.,Electronic data processing.
Classification :
QA402
.
5
.
C5423
2017
258. Combinatorial optimization and theoretical computer science
Author: / edited by Vangelis Th. Paschos
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Combinatorial optimization- Computer programs,Computer science- Mathematics
Classification :
QA402
.
5
.
C54513
2008
259. Combinatorics for computer science
Author: S. Gill Williamson
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Combinatorial analysis,، Computer science -- Mathematics
Classification :
QA
164
.
W55
1985
260. Combinatorics for computer science
Author: / S. Gill Williamson
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Combinatorial analysis,Computer science- Mathematics
Classification :
QA164
.
W55
